منابع مشابه
Solving PDEs with Intrepid
Intrepid is a Trilinos package for advanced discretizations of Partial Differential Equations (PDEs). The package provides a comprehensive set of tools for local, cell-based construction of a wide range of numerical methods for PDEs. This paper describes the mathematical ideas and software design principles incorporated in the package. We also provide representative examples showcasing the use ...
متن کاملThe Intrepid Waitress Problem
An intrepid waitress leaves a restaurant kitchen with a stack of n different sized pancakes. Before she reaches her patrons, she wishes to iterate through all possible stack orderings using only a spatula and performing flips of various sizes. But is this possible? This problem corresponds to constructing a Hamilton path in the “pancake network”, or equivalently, to find a Gray code for permuta...
متن کاملTrepid and Intrepid Travelers
Edy wrinkled her nose. “Why?” she asked. “It will be wonderful!” I exclaimed. “The people are different. The animals are different. Even the countryside is different. It will be a fantastic getaway. We’ll have a great time. Can you think of anyplace better to go?” “Martha’s Vineyard,” she answered. “Someplace nearby. I don’t want adventure. I just want to spend time with you.” Sensing my disapp...
متن کاملA head called Richard
This paper describes two preliminary experiments concerned with the construction of a robot head. The initial design and research is aimed at producing a system with two cameras and two microphones on a system capable of operating with the same degrees of freedom and reflex times as its biological counterpart. Whilst the primary goal of the project is develop an anthropomorphic system with the ...
متن کاملA Modality Called ‘Negation’
I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Literary Imagination
سال: 2013
ISSN: 1523-9012,1752-6566
DOI: 10.1093/litimag/imt047